A methodology for producing reliable software, volume 2

For abstract, see Vol. 1

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

Performance evaluation of bluetooth low energy for high data rate body area networks

Bluetooth Low Energy (BLE) is a promising wireless network technology, in the context of body area network (BAN) applications, to provide the required quality of service (QoS) support concerning the communication between sensor nodes placed on a user’s body and a personal device, such as a smartphone. Most previous BLE performance studies in the literature have focused primarily in networks with a single slave (point-to-point link) or traffic scenarios with relatively low data rate. However, many BAN sensors generate high data rate traffic, and several sensor nodes (slaves) may be actively sending data in the same BAN. Therefore, this work focuses on the evaluation of the suitability of BLE mainly under these conditions. Results show that, for the same traffic, the BLE protocol presents lower energy consumption and supports more sensor nodes than an alternative IEEE 802.15.4-based protocol. This study also identifies and characterizes some implementation constraints on the tested platforms that impose limits on the achievable performance.This work has been supported by FCT (Fundação para a Ciência e Tecnologia) in the scope of the projects UID/EEA/04436/2013 and UID/CTM/50025/2013, and by FEDER funds through the COMPETE 2020 Programme

A robust-resistant spatial analysis of soil water infiltration.

Concentrates on estimating the spatial correlations between soil water infiltration observations, with special emphasis on resistant methods to remove nonstationarity. After this removal, robust semivariogram estimators are used to examine the spatial dependencies for various tillage treatments. There is some indication that infiltration characteristics inherit different types of spatial dependency, depending on the tillage treatment applied.-from Author

The assessment of point and diffuse metal pollution of soils from an urban geochemical survey of Sheffield, England

A model of soil variability as a continuous background process with superimposed point contamination was applied to 569 measurements of metal concentrations (Cr, Ni and Pb) in the topsoils of Sheffield, England. Robust estimators of the variogram were shown to be required to describe spatial variation of the metal concentrations at most sampled locations. This is diagnostic of the presence of a contaminant process. Values of the standardized kriging error from the cross-validation of each datum were used to identify spatial outliers for each metal. The ordinary kriged estimates of Cr, Ni and Pb were mapped after removing the outliers to estimate the background variation. Each of the 35 spatial outliers that occured in gardens have concentrations exceeding their Soil Guideline Value for residential land use with plant uptake, highlighting a potentially significant exposure pathway. The frequent observation of coal and furnace waste at these sites suggests that their dispersal, following domestic use and industrial processes, respectively, represents a significant point contaminant process. There was no evidence for spatial clustering of the point process. However, the spatial outliers of Cr and Ni showed a significant association with disturbed sites identified from historical land use maps, in part due to their prevalence in areas of historical steel manufacture. The magnitude of diffuse pollution for each metal in the urban soil was estimated by removing the spatial outliers and comparing robust measures of location with those from a survey of soils developed over the same parent materials in adjacent rural and peri-urban environments. The Winsorized mean Pb concentrations in urban topsoil (203 mg kg−1) were twice the value in the rural environment (101 mg kg−1), highlighting a very substantial diffuse Pb load to urban soils. The equivalent estimated diffuse components in urban soils for Cr and Ni were, respectively, 25% and 14% higher than the rural soils